tools-xenmon-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:06 +0000 (11:47 +0200)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 18 Apr 2017 16:33:05 +0000 (17:33 +0100)
commit3c1dc49f92bcdb9e031a419f3c0014b57fcb96a9
treeeadb6a7282f8b30e60a1cd9b3c5ffc30050e6d50
parent845c9126f103d039326ba1cc06575de8a2d32d39
tools-xenmon-prefix.diff

Patch-Name: tools-xenmon-prefix.diff

Gbp-Pq: Name tools-xenmon-prefix.diff
tools/xenmon/Makefile